Towards a Framework for Behavioral Specifications of OSGi Components
نویسنده
چکیده
We present work on behavioral specifications of OSGi components. Our behavioral specifications are based on finite automata like formalisms. Behavioral specifications can be used to find appropriate components to interact with, detect incompatibilities between communication protocols of components and potential problems resulting from the interplay of non-deterministic component specifications. These operations can be carried out during development and at runtime of a system. Furthermore, we describe work carried out using the Eclipse based implementation of our framework.
منابع مشابه
Ensuring OSGi Component Based Properties at Runtime with Behavioral Types
We present work on using automata based behavioral descriptions (behavioral types) of OSGi components for monitoring their specified behavior at runtime. Behavioral types are associated with OSGi components. We are focusing on behavioral types that specify protocols defined by possible orders of method calls of and between components and specifications based on the maximal execution time of the...
متن کاملTowards a Formalization of the OSGi Component Framework
We present a formalization of the OSGi component framework. Our formalization is intended to be used as a basis for describing behavior of OSGi based systems. Furthermore, we describe specification formalisms for describing properties of OSGi based systems. One application is its use for behavioral types. Potential uses comprise the derivation of runtime monitors, checking compatibility of comp...
متن کاملBehavioral Specification Based Runtime Monitors for OSGi Services
Abstract constraint specifications – such as interoperability contracts – of the behavior of a system are frequently stated as requirements during early design phases. During the development process, these abstract specifications get refined until one reaches a deployable implementation. Especially in systems with components being dynamically added or replaced, it is critical that the constrain...
متن کاملThe Virtual OSGi Framework by Dimitrios Papageorgiou January 14 th 2008 - July 13 th 2008
OSGi (Open Service Gateway Initiative) is an open industry standard. The OSGi specifications describe a dynamic module system for Java. It is a platform for managing Java software modules, which are called bundles. Bundles can be combined to form larger applications. An important aspect of the OSGi framework is the management of the dependencies between bundles. The OSGi framework was intented ...
متن کاملVarious Extensions for the Ambient OSGi Framework
OSGi is a wrapper above the Java Virtual Machine that embraces two concepts: component approach and service-oriented programming. The component approach enables a Java run-time to host several concurrent applications, while the service-oriented programming paradigm allows the decomposition of applications into independent units that are dynamically bound at runtime. Combining component and serv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013